大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Computational Life Sciences [electronic resource] : First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005. Proceedings

0
索取号：
作者：R. Berthold、 Michael.、Glen、 Robert C.、Diederichs、 Kay.、Kohlbacher、 Oliver.、Fischer、 Ingrid.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

ECOOP 2005 - Object-Oriented Programming [electronic resource] : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

0
索取号：
作者：Black、 Andrew P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Web-Based Learning-ICWL 2005 [electronic resource] : 4th International Conference, Hong Kong, China, July 31 - August 3, 2005. Proceedings

0
索取号：
作者：Lau、 Rynson W. H.、Li、 Qing.、Cheung、 Ronnie.、Liu、 Wenyin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

0
索取号：
作者：Fitzgerald、 John.、Hayes、 Ian J.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

0
索取号：
作者：Caires、 Lu铆s.、Italiano、 Giuseppe F.、Monteiro、 Lu铆s.、Palamidessi、 Catuscia.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

0
索取号：
作者：Hentenryck、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers

0
索取号：
作者：Etalle、 Sandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Image and Video Retrieval [electronic resource] : 4th International Conference, CIVR 2005, Singapore, July 20-22, 2005. Proceedings

0
索取号：
作者：Leow、 Wee-Kheng.、Lew、 Michael S.、Chua、 Tat-Seng.、Ma、 Wei-Ying.、Chaisorn、 Lekha.、Bakker、 Erwin M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

0
索取号：
作者：Ramos、 F茅lix F.、Larios Rosillo、 Victor.、Unger、 Herwig.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Graph Drawing [electronic resource] : 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers

0
索取号：
作者：Healy、 Patrick.、Nikolov、 Nikola S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Knowledge Discovery in Databases: PKDD 2005 [electronic resource] : 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005. Proceedings

0
索取号：
作者：Jorge、 Al铆pio M谩rio.、Torgo、 Lu铆s.、Brazdil、 Pavel.、Camacho、 Rui.、Gama、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Biological and Medical Data Analysis [electronic resource] : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings

0
索取号：
作者：Oliveira、 Jos茅 Lu铆s.、Maojo、 V铆ctor.、Mart铆n-S谩nchez、 Fernando.、Pereira、 Ant贸nio Sousa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005. Proceedings

0
索取号：
作者：Gelbukh、 Alexander.、Albornoz、 脕lvaro.、Terashima-Mar铆n、 Hugo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

0
索取号：
作者：Sutcliffe、 Geoff.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Languages and Compilers for Parallel Computing [electronic resource] : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers

0
索取号：
作者：Pugh、 Bill.、Tseng、 Chau-Wen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

0
索取号：
作者：Higashino、 Teruo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院